char to int type casting in java